Nuprl Definition : ma-shape
0,22
postcript
pdf
Shape(
M
) == MsgA(ds(
M
);da(
M
))
latex
clarification:
ma-shape{i:l}(
M
) == msga-body{i:l}(ds(
M
); da(
M
))
latex
Definitions
MsgA(
ds
;
da
)
,
ds(
M
)
,
da(
M
)
FDL editor aliases
ma-shape
origin